Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
531	Coupling Semi-Supervised Learning of Categories and Relations Andrew Carlson1 , Justin Betteridge1 , Estevam R. Hruschka Jr.1,2 and Tom M. Mitchell1 1 School of Computer Science Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: rtw.ml.cmu.edu Language: English - Date: 2009-04-19 21:15:00 Machine learning Semantics Coupled pattern learner Natural language processing Computational linguistics Semantic Web Predicate Word-sense disambiguation Categories Logic Science Linguistics
532	Efficient Implementation of Generalized Quantification in Relational Query Languages Bin Cao Antonio Badia Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-04-25 03:37:15 Mathematics Predicate logic Semantics Relational model Generalized quantifier FO First-order logic Combinatory logic Universal quantification Mathematical logic Logic Quantification
533	The Semantics of Untrustworthiness Giuseppe Primiero & Laszlo Kosolosky Centre for Logic and Philosophy of Science Ghent University, Belgium Abstract We offer a formal treatment of the semantics of both complete and Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-26 09:39:32 Information Philosophical logic Mathematical logic Model theory Communication Modal logic Finitary relation Code Interpretation Logic Data transmission Science
534	Combined Distributional and Logical Semantics Mark Steedman School of Informatics University of Edinburgh Edinburgh, EH8 9AB, UK [removed] Add to Reading List Source URL: www.transacl.org Language: English - Date: 2013-05-31 13:47:42 Semantics Predicate logic Formal languages Grammar Model theory Predicate First-order logic Combinatory categorial grammar Interpretation Logic Linguistics Mathematical logic
535	A Type System for Expressive Security Policies∗ David Walker Cornell University Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-07 14:58:01 Logic Mathematics Semantics Models of computation Formal languages First-order logic Type safety Predicate Functional predicate Automata theory Model theory Mathematical logic
536	Error Handling Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent University [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-03-21 08:22:58 Type theory Semantics Predicate logic Proof theory Quantification Type system Model theory Mathematical logic Exception handling Logic Metalogic Science
537	Validity in a Modal Procedural Semantics Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-10-21 12:17:12 Proof theory Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Entailment Ordinal number Logic Mathematical logic Mathematics
538	Procedural Semantics for a Modal Type System Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-07-22 05:24:16 Logic Proof theory Programming language semantics Curry–Howard correspondence Philosophy of computer science Type theory Operational semantics Programming language Interpretation Theoretical computer science Logic in computer science Mathematical logic
539	HTML SEMANTICS The practical version By Jerry Jäppinen @eiskis Basics Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2013-04-18 06:21:14 Philosophy of language Logic Human–computer interaction Electronic literature Hypermedia Hypertext E-Prime HTML Markup language Semantics Linguistics Meaning
540	Ludwig Wittgenstein • Philosophical Investigations excerpts from PHILOSOPHICAL INVESTIGATIONS Philosophical Investigations; the English text of the third edition" Translated by G" E" M" Anscombe" New York) Macmillan [ Add to Reading List Source URL: topologicalmedialab.net Language: English - Date: 2011-11-28 21:55:19 Philosophy of language Philosophical logic Semantics Philosophy of mathematics Ludwig Wittgenstein Philosophical Investigations Philosophy of logic Meaning Definition Philosophy Analytic philosophy Logic

UPDATE